1. Advances in Computing, Communication, and Control :
پدیدآورنده : edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
2. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
3. Artificial intelligence research and development :
پدیدآورنده : edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
4. Artificial neural network for drug design, delivery, and disposition
پدیدآورنده : edited by Munish Puri, Yashwant Pathak, Vijay Kumar Sutariya, Srinivas Tipparaju, Wilfrido Moreno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Neural networks (Computer science),Pharmaceutical technology.,Pharmacology-- Data processing.,Automatic Data Processing,Drug Delivery Systems,Drug Discovery-- methods,Neural Networks (Computer),Technology, Pharmaceutical
5. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
6. Bits and bugs :
پدیدآورنده : Thomas Huckle, Tobias Neckel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Debugging in computer science-- History.,Software failures-- History.,Debugging in computer science.,Software failures.
رده :
QA76
.
76
.
F34
H83
2019
7. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
8. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
9. Computational science and its applications-- ICCSA 2013 :
پدیدآورنده : Beniamino Murgante ... [and seven others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
10. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
11. Computing and combinatorics :
پدیدآورنده : Ding-Zhu Du, Zhenhua Duan, Cong Tian (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis-- Data processing, Congresses.,Computer science, Congresses.,Combinatorial analysis-- Data processing.,Computer science.
رده :
QA76
.
9
.
A43
C66
2019
12. Dependable computing--EDCC-1 :
پدیدآورنده : Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
13. Descriptional complexity of formal systems :
پدیدآورنده : edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
14. Foundations of Information and Knowledge Systems
پدیدآورنده : edited by Jürgen Dix, Stephen J. Hegner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Computer science.,Database management.,Information storage and retrieval systems.,Logic design.
15. Foundations of Information and Knowledge Systems.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
16. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
17. Future Trends in Microelectronics :
پدیدآورنده : edited by Serge Luryi, Jimmy Xu, Alex Zaslavsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
18. Integrated circuit and system design :
پدیدآورنده : Jorge Juan Chico, Enrico Macii, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.,Integrated circuits -- Very large scale integration -- Computer-aided design.
19. Intelligent systems :
پدیدآورنده : Vassil Sgurev, Mincho Hadjiski, and Janusz Kacprzyk (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Expert systems (Computer science),Expert systems (Computer science),Ingénierie.
رده :
QA76
.
76
.
E95
I58
2010
